# Enhanced Mathematical Logic

GLM-Z1-9B-0414 is a 9B-parameter open-source model from the GLM family, specializing in mathematical reasoning and general task capabilities, excelling in resource-constrained scenarios.

Phi-4-mini-instruct is a lightweight open-source model built on synthetic data and filtered public web data, focusing on high-quality, reasoning-rich data. It supports a 128K token context length and multilingual processing.

Phi-3.5-MoE is a lightweight, state-of-the-art open-source model supporting multiple languages with a 128K context length, focusing on high-quality, inference-intensive data.